$\forall$$a$:$\mathbb{Z}$. atomic($a$) $\Rightarrow$ prime($a$)